(define (problem Pathways-05)
(:domain Pathways-ComplexPreferences)
(:objects
	SP1 - simple
	PCNA - simple
	p53 - simple
	p16 - simple
	p130 - simple
	Jun - simple
	HDAC1-pRbp1-E2F4-DP12 - simple
	gERCC1 - simple
	gE2 - simple
	E2F6 - simple
	E2F5-DP12p1 - simple
	E2F5 - simple
	E2F2 - simple
	E2F13p1-DP12p1 - simple
	E2F13-DP12 - simple
	E2F1 - simple
	DP12 - simple
	cks1 - simple
	cdk46p1 - simple
	cdk2p1 - simple
	cdk2 - simple
	cdk1p1p2 - simple
	cdk1p1p2-cks1 - complex
	cdk1p1p2-Gadd45 - complex
	cdk2-cks1 - complex
	cdk2p1-cks1 - complex
	E2F13-DP12-gE2 - complex
	E2F1-DP12 - complex
	E2F2-DP12 - complex
	E2F5-DP12-gE2 - complex
	E2F6-DP12-gE2 - complex
	E2F6-DP12 - complex
	HDAC1-pRbp1-E2F4-DP12-gE2 - complex
	Jun-c-Fos-gERCC1 - complex
	Jun-c-Fos - complex
	Mdm2-E2F13-DP12 - complex
	Mdm2-E2F13p1-DP12p1 - complex
	p130-E2F5-DP12-gE2 - complex
	E2F5-DP12 - complex
	p130-E2F5-DP12p1-gE2 - complex
	p130-E2F5-DP12p1 - complex
	p16-cdk46p1 - complex
	p21-cdk2-cycA - complex
	p21-cdk2-cycEp1 - complex
	p21-cdk2-cycE - complex
	p21-cdk2p1-cycA - complex
	p21-cdk2p1-cycEp1 - complex
	p21-cdk2p1-cycE - complex
	p21-cdk46p1-cycDp1 - complex
	p21-cdk46p1-cycD - complex
	p21-Gadd45 - complex
	p53-DP12 - complex
	Mdm2 - complex
	PCNA-cycDp1 - complex
	PCNA-cycD - complex
	PCNA-Gadd45 - complex
	Gadd45 - complex
	PCNA-p21-cdk2-cycA - complex
	PCNA-p21-cdk2-cycEp1 - complex
	cdk2-cycEp1 - complex
	PCNA-p21-cdk2-cycE - complex
	cdk2-cycE - complex
	PCNA-p21-cdk2p1-cycA - complex
	PCNA-p21-cdk2p1-cycEp1 - complex
	cdk2p1-cycEp1 - complex
	PCNA-p21-cdk2p1-cycE - complex
	cdk2p1-cycE - complex
	PCNA-p21-cdk46p1-cycDp1 - complex
	cdk46p1-cycDp1 - complex
	PCNA-p21-cdk46p1-cycD - complex
	cdk46p1-cycD - complex
	PCNA-p21 - complex
	p21 - complex
	ERCC1 - complex
	c-Fos - complex
	p130-E2F5-DP12 - complex
	cdk2-cycA - complex
	cdk2p1-cycA - complex
	c-Myc - complex
	cycA - complex
	cycD - complex
	cycDp1 - complex
	cycE - complex
	cycEp1 - complex
	p19ARF - complex
	pol - complex
	SP1-p107p1 - complex
	p107p1 - complex
	SP1-p107 - complex
	p107 - complex)


(:init
	(possible SP1)
	(= (available SP1) 0)
	(possible PCNA)
	(= (available PCNA) 0)
	(possible p53)
	(= (available p53) 0)
	(possible p16)
	(= (available p16) 0)
	(possible p130)
	(= (available p130) 0)
	(possible Jun)
	(= (available Jun) 0)
	(possible HDAC1-pRbp1-E2F4-DP12)
	(= (available HDAC1-pRbp1-E2F4-DP12) 0)
	(possible gERCC1)
	(= (available gERCC1) 0)
	(possible gE2)
	(= (available gE2) 0)
	(possible E2F6)
	(= (available E2F6) 0)
	(possible E2F5-DP12p1)
	(= (available E2F5-DP12p1) 0)
	(possible E2F5)
	(= (available E2F5) 0)
	(possible E2F2)
	(= (available E2F2) 0)
	(possible E2F13p1-DP12p1)
	(= (available E2F13p1-DP12p1) 0)
	(possible E2F13-DP12)
	(= (available E2F13-DP12) 0)
	(possible E2F1)
	(= (available E2F1) 0)
	(possible DP12)
	(= (available DP12) 0)
	(possible cks1)
	(= (available cks1) 0)
	(possible cdk46p1)
	(= (available cdk46p1) 0)
	(possible cdk2p1)
	(= (available cdk2p1) 0)
	(possible cdk2)
	(= (available cdk2) 0)
	(possible cdk1p1p2)
	(= (available cdk1p1p2) 0)
	(= (available cdk1p1p2-cks1) 0)
	(= (available cdk1p1p2-Gadd45) 0)
	(= (available cdk2-cks1) 0)
	(= (available cdk2p1-cks1) 0)
	(= (available E2F13-DP12-gE2) 0)
	(= (available E2F1-DP12) 0)
	(= (available E2F2-DP12) 0)
	(= (available E2F5-DP12-gE2) 0)
	(= (available E2F6-DP12-gE2) 0)
	(= (available E2F6-DP12) 0)
	(= (available HDAC1-pRbp1-E2F4-DP12-gE2) 0)
	(= (available Jun-c-Fos-gERCC1) 0)
	(= (available Jun-c-Fos) 0)
	(= (available Mdm2-E2F13-DP12) 0)
	(= (available Mdm2-E2F13p1-DP12p1) 0)
	(= (available p130-E2F5-DP12-gE2) 0)
	(= (available E2F5-DP12) 0)
	(= (available p130-E2F5-DP12p1-gE2) 0)
	(= (available p130-E2F5-DP12p1) 0)
	(= (available p16-cdk46p1) 0)
	(= (available p21-cdk2-cycA) 0)
	(= (available p21-cdk2-cycEp1) 0)
	(= (available p21-cdk2-cycE) 0)
	(= (available p21-cdk2p1-cycA) 0)
	(= (available p21-cdk2p1-cycEp1) 0)
	(= (available p21-cdk2p1-cycE) 0)
	(= (available p21-cdk46p1-cycDp1) 0)
	(= (available p21-cdk46p1-cycD) 0)
	(= (available p21-Gadd45) 0)
	(= (available p53-DP12) 0)
	(= (available Mdm2) 0)
	(= (available PCNA-cycDp1) 0)
	(= (available PCNA-cycD) 0)
	(= (available PCNA-Gadd45) 0)
	(= (available Gadd45) 0)
	(= (available PCNA-p21-cdk2-cycA) 0)
	(= (available PCNA-p21-cdk2-cycEp1) 0)
	(= (available cdk2-cycEp1) 0)
	(= (available PCNA-p21-cdk2-cycE) 0)
	(= (available cdk2-cycE) 0)
	(= (available PCNA-p21-cdk2p1-cycA) 0)
	(= (available PCNA-p21-cdk2p1-cycEp1) 0)
	(= (available cdk2p1-cycEp1) 0)
	(= (available PCNA-p21-cdk2p1-cycE) 0)
	(= (available cdk2p1-cycE) 0)
	(= (available PCNA-p21-cdk46p1-cycDp1) 0)
	(= (available cdk46p1-cycDp1) 0)
	(= (available PCNA-p21-cdk46p1-cycD) 0)
	(= (available cdk46p1-cycD) 0)
	(= (available PCNA-p21) 0)
	(= (available p21) 0)
	(= (available ERCC1) 0)
	(= (available c-Fos) 0)
	(= (available p130-E2F5-DP12) 0)
	(= (available cdk2-cycA) 0)
	(= (available cdk2p1-cycA) 0)
	(= (available c-Myc) 0)
	(= (available cycA) 0)
	(= (available cycD) 0)
	(= (available cycDp1) 0)
	(= (available cycE) 0)
	(= (available cycEp1) 0)
	(= (available p19ARF) 0)
	(= (available pol) 0)
	(= (available SP1-p107p1) 0)
	(= (available p107p1) 0)
	(= (available SP1-p107) 0)
	(= (available p107) 0)
	(association-reaction cdk1p1p2 cks1 cdk1p1p2-cks1)
	(= (need-for-association cdk1p1p2 cks1 cdk1p1p2-cks1) 3)
	(= (need-for-association cks1 cdk1p1p2 cdk1p1p2-cks1) 4)
	(= (prod-by-association cdk1p1p2 cks1 cdk1p1p2-cks1) 3)
	(association-reaction cdk1p1p2 Gadd45 cdk1p1p2-Gadd45)
	(= (need-for-association cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) 4)
	(= (need-for-association Gadd45 cdk1p1p2 cdk1p1p2-Gadd45) 4)
	(= (prod-by-association cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) 1)
	(association-reaction cdk2 cks1 cdk2-cks1)
	(= (need-for-association cdk2 cks1 cdk2-cks1) 3)
	(= (need-for-association cks1 cdk2 cdk2-cks1) 3)
	(= (prod-by-association cdk2 cks1 cdk2-cks1) 2)
	(association-reaction cdk2 cycA cdk2-cycA)
	(= (need-for-association cdk2 cycA cdk2-cycA) 2)
	(= (need-for-association cycA cdk2 cdk2-cycA) 2)
	(= (prod-by-association cdk2 cycA cdk2-cycA) 2)
	(association-reaction cdk2 cycE cdk2-cycE)
	(= (need-for-association cdk2 cycE cdk2-cycE) 2)
	(= (need-for-association cycE cdk2 cdk2-cycE) 3)
	(= (prod-by-association cdk2 cycE cdk2-cycE) 3)
	(association-reaction cdk2 cycEp1 cdk2-cycEp1)
	(= (need-for-association cdk2 cycEp1 cdk2-cycEp1) 1)
	(= (need-for-association cycEp1 cdk2 cdk2-cycEp1) 3)
	(= (prod-by-association cdk2 cycEp1 cdk2-cycEp1) 2)
	(association-reaction cdk2p1 cks1 cdk2p1-cks1)
	(= (need-for-association cdk2p1 cks1 cdk2p1-cks1) 1)
	(= (need-for-association cks1 cdk2p1 cdk2p1-cks1) 2)
	(= (prod-by-association cdk2p1 cks1 cdk2p1-cks1) 4)
	(association-reaction cdk2p1 cycA cdk2p1-cycA)
	(= (need-for-association cdk2p1 cycA cdk2p1-cycA) 3)
	(= (need-for-association cycA cdk2p1 cdk2p1-cycA) 1)
	(= (prod-by-association cdk2p1 cycA cdk2p1-cycA) 3)
	(association-reaction cdk2p1 cycE cdk2p1-cycE)
	(= (need-for-association cdk2p1 cycE cdk2p1-cycE) 2)
	(= (need-for-association cycE cdk2p1 cdk2p1-cycE) 3)
	(= (prod-by-association cdk2p1 cycE cdk2p1-cycE) 2)
	(association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1)
	(= (need-for-association cdk2p1 cycEp1 cdk2p1-cycEp1) 3)
	(= (need-for-association cycEp1 cdk2p1 cdk2p1-cycEp1) 4)
	(= (prod-by-association cdk2p1 cycEp1 cdk2p1-cycEp1) 2)
	(association-reaction cdk46p1 cycD cdk46p1-cycD)
	(= (need-for-association cdk46p1 cycD cdk46p1-cycD) 4)
	(= (need-for-association cycD cdk46p1 cdk46p1-cycD) 3)
	(= (prod-by-association cdk46p1 cycD cdk46p1-cycD) 1)
	(association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1)
	(= (need-for-association cdk46p1 cycDp1 cdk46p1-cycDp1) 2)
	(= (need-for-association cycDp1 cdk46p1 cdk46p1-cycDp1) 2)
	(= (prod-by-association cdk46p1 cycDp1 cdk46p1-cycDp1) 4)
	(synthesis-reaction E2F13-DP12-gE2 c-Myc) 
	(= (need-for-synthesis E2F13-DP12-gE2 c-Myc) 2)
	(= (prod-by-synthesis E2F13-DP12-gE2 c-Myc) 1)
	(synthesis-reaction E2F13-DP12-gE2 cycA) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycA) 2)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycA) 3)
	(synthesis-reaction E2F13-DP12-gE2 cycD) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycD) 2)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycD) 3)
	(synthesis-reaction E2F13-DP12-gE2 cycDp1) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycDp1) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycDp1) 3)
	(synthesis-reaction E2F13-DP12-gE2 cycE) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycE) 1)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycE) 2)
	(synthesis-reaction E2F13-DP12-gE2 cycEp1) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycEp1) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycEp1) 3)
	(association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2)
	(= (need-for-association E2F13-DP12 gE2 E2F13-DP12-gE2) 4)
	(= (need-for-association gE2 E2F13-DP12 E2F13-DP12-gE2) 4)
	(= (prod-by-association E2F13-DP12 gE2 E2F13-DP12-gE2) 1)
	(synthesis-reaction E2F13-DP12-gE2 p107) 
	(= (need-for-synthesis E2F13-DP12-gE2 p107) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 p107) 2)
	(synthesis-reaction E2F13-DP12-gE2 p107p1) 
	(= (need-for-synthesis E2F13-DP12-gE2 p107p1) 1)
	(= (prod-by-synthesis E2F13-DP12-gE2 p107p1) 2)
	(synthesis-reaction E2F13-DP12-gE2 p19ARF) 
	(= (need-for-synthesis E2F13-DP12-gE2 p19ARF) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 p19ARF) 3)
	(synthesis-reaction E2F13-DP12-gE2 pol) 
	(= (need-for-synthesis E2F13-DP12-gE2 pol) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 pol) 2)
	(association-reaction E2F1 DP12 E2F1-DP12)
	(= (need-for-association E2F1 DP12 E2F1-DP12) 2)
	(= (need-for-association DP12 E2F1 E2F1-DP12) 4)
	(= (prod-by-association E2F1 DP12 E2F1-DP12) 1)
	(association-reaction E2F2 DP12 E2F2-DP12)
	(= (need-for-association E2F2 DP12 E2F2-DP12) 4)
	(= (need-for-association DP12 E2F2 E2F2-DP12) 4)
	(= (prod-by-association E2F2 DP12 E2F2-DP12) 2)
	(association-reaction E2F5 DP12 E2F5-DP12)
	(= (need-for-association E2F5 DP12 E2F5-DP12) 2)
	(= (need-for-association DP12 E2F5 E2F5-DP12) 3)
	(= (prod-by-association E2F5 DP12 E2F5-DP12) 3)
	(synthesis-reaction E2F5-DP12-gE2 c-Myc) 
	(= (need-for-synthesis E2F5-DP12-gE2 c-Myc) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 c-Myc) 4)
	(synthesis-reaction E2F5-DP12-gE2 cycA) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycA) 1)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycA) 3)
	(synthesis-reaction E2F5-DP12-gE2 cycD) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycD) 3)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycD) 1)
	(synthesis-reaction E2F5-DP12-gE2 cycDp1) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycDp1) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycDp1) 3)
	(synthesis-reaction E2F5-DP12-gE2 cycE) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycE) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycE) 1)
	(synthesis-reaction E2F5-DP12-gE2 cycEp1) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycEp1) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycEp1) 1)
	(association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2)
	(= (need-for-association E2F5-DP12 gE2 E2F5-DP12-gE2) 4)
	(= (need-for-association gE2 E2F5-DP12 E2F5-DP12-gE2) 2)
	(= (prod-by-association E2F5-DP12 gE2 E2F5-DP12-gE2) 4)
	(synthesis-reaction E2F5-DP12-gE2 p107) 
	(= (need-for-synthesis E2F5-DP12-gE2 p107) 1)
	(= (prod-by-synthesis E2F5-DP12-gE2 p107) 2)
	(synthesis-reaction E2F5-DP12-gE2 p107p1) 
	(= (need-for-synthesis E2F5-DP12-gE2 p107p1) 1)
	(= (prod-by-synthesis E2F5-DP12-gE2 p107p1) 4)
	(synthesis-reaction E2F5-DP12-gE2 p19ARF) 
	(= (need-for-synthesis E2F5-DP12-gE2 p19ARF) 4)
	(= (prod-by-synthesis E2F5-DP12-gE2 p19ARF) 3)
	(synthesis-reaction E2F5-DP12-gE2 pol) 
	(= (need-for-synthesis E2F5-DP12-gE2 pol) 1)
	(= (prod-by-synthesis E2F5-DP12-gE2 pol) 1)
	(association-reaction E2F6 DP12 E2F6-DP12)
	(= (need-for-association E2F6 DP12 E2F6-DP12) 3)
	(= (need-for-association DP12 E2F6 E2F6-DP12) 1)
	(= (prod-by-association E2F6 DP12 E2F6-DP12) 1)
	(association-reaction E2F6-DP12 gE2 E2F6-DP12-gE2)
	(= (need-for-association E2F6-DP12 gE2 E2F6-DP12-gE2) 2)
	(= (need-for-association gE2 E2F6-DP12 E2F6-DP12-gE2) 2)
	(= (prod-by-association E2F6-DP12 gE2 E2F6-DP12-gE2) 2)
	(association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2)
	(= (need-for-association HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 1)
	(= (need-for-association gE2 HDAC1-pRbp1-E2F4-DP12 HDAC1-pRbp1-E2F4-DP12-gE2) 4)
	(= (prod-by-association HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 3)
	(synthesis-reaction Jun-c-Fos-gERCC1 ERCC1) 
	(= (need-for-synthesis Jun-c-Fos-gERCC1 ERCC1) 4)
	(= (prod-by-synthesis Jun-c-Fos-gERCC1 ERCC1) 1)
	(association-reaction Jun-c-Fos gERCC1 Jun-c-Fos-gERCC1)
	(= (need-for-association Jun-c-Fos gERCC1 Jun-c-Fos-gERCC1) 1)
	(= (need-for-association gERCC1 Jun-c-Fos Jun-c-Fos-gERCC1) 2)
	(= (prod-by-association Jun-c-Fos gERCC1 Jun-c-Fos-gERCC1) 1)
	(association-reaction Jun c-Fos Jun-c-Fos)
	(= (need-for-association Jun c-Fos Jun-c-Fos) 2)
	(= (need-for-association c-Fos Jun Jun-c-Fos) 1)
	(= (prod-by-association Jun c-Fos Jun-c-Fos) 2)
	(association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12)
	(= (need-for-association Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 2)
	(= (need-for-association E2F13-DP12 Mdm2 Mdm2-E2F13-DP12) 2)
	(= (prod-by-association Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 3)
	(association-reaction Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1)
	(= (need-for-association Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1) 1)
	(= (need-for-association E2F13p1-DP12p1 Mdm2 Mdm2-E2F13p1-DP12p1) 3)
	(= (prod-by-association Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1) 2)
	(association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2)
	(= (need-for-association p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 2)
	(= (need-for-association gE2 p130-E2F5-DP12 p130-E2F5-DP12-gE2) 4)
	(= (prod-by-association p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 2)
	(association-reaction p130 E2F5-DP12 p130-E2F5-DP12)
	(= (need-for-association p130 E2F5-DP12 p130-E2F5-DP12) 1)
	(= (need-for-association E2F5-DP12 p130 p130-E2F5-DP12) 3)
	(= (prod-by-association p130 E2F5-DP12 p130-E2F5-DP12) 4)
	(association-reaction p130-E2F5-DP12p1 gE2 p130-E2F5-DP12p1-gE2)
	(= (need-for-association p130-E2F5-DP12p1 gE2 p130-E2F5-DP12p1-gE2) 2)
	(= (need-for-association gE2 p130-E2F5-DP12p1 p130-E2F5-DP12p1-gE2) 3)
	(= (prod-by-association p130-E2F5-DP12p1 gE2 p130-E2F5-DP12p1-gE2) 2)
	(association-reaction p130 E2F5-DP12p1 p130-E2F5-DP12p1)
	(= (need-for-association p130 E2F5-DP12p1 p130-E2F5-DP12p1) 2)
	(= (need-for-association E2F5-DP12p1 p130 p130-E2F5-DP12p1) 3)
	(= (prod-by-association p130 E2F5-DP12p1 p130-E2F5-DP12p1) 4)
	(association-reaction p16 cdk46p1 p16-cdk46p1)
	(= (need-for-association p16 cdk46p1 p16-cdk46p1) 4)
	(= (need-for-association cdk46p1 p16 p16-cdk46p1) 4)
	(= (prod-by-association p16 cdk46p1 p16-cdk46p1) 4)
	(association-reaction p21 cdk2-cycA p21-cdk2-cycA)
	(= (need-for-association p21 cdk2-cycA p21-cdk2-cycA) 3)
	(= (need-for-association cdk2-cycA p21 p21-cdk2-cycA) 2)
	(= (prod-by-association p21 cdk2-cycA p21-cdk2-cycA) 3)
	(association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1)
	(= (need-for-association p21 cdk2-cycEp1 p21-cdk2-cycEp1) 3)
	(= (need-for-association cdk2-cycEp1 p21 p21-cdk2-cycEp1) 3)
	(= (prod-by-association p21 cdk2-cycEp1 p21-cdk2-cycEp1) 1)
	(association-reaction p21 cdk2-cycE p21-cdk2-cycE)
	(= (need-for-association p21 cdk2-cycE p21-cdk2-cycE) 3)
	(= (need-for-association cdk2-cycE p21 p21-cdk2-cycE) 4)
	(= (prod-by-association p21 cdk2-cycE p21-cdk2-cycE) 1)
	(association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA)
	(= (need-for-association p21 cdk2p1-cycA p21-cdk2p1-cycA) 1)
	(= (need-for-association cdk2p1-cycA p21 p21-cdk2p1-cycA) 2)
	(= (prod-by-association p21 cdk2p1-cycA p21-cdk2p1-cycA) 2)
	(association-reaction p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1)
	(= (need-for-association p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1) 3)
	(= (need-for-association cdk2p1-cycEp1 p21 p21-cdk2p1-cycEp1) 2)
	(= (prod-by-association p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1) 4)
	(association-reaction p21 cdk2p1-cycE p21-cdk2p1-cycE)
	(= (need-for-association p21 cdk2p1-cycE p21-cdk2p1-cycE) 4)
	(= (need-for-association cdk2p1-cycE p21 p21-cdk2p1-cycE) 3)
	(= (prod-by-association p21 cdk2p1-cycE p21-cdk2p1-cycE) 3)
	(association-reaction p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1)
	(= (need-for-association p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 1)
	(= (need-for-association cdk46p1-cycDp1 p21 p21-cdk46p1-cycDp1) 4)
	(= (prod-by-association p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 1)
	(association-reaction p21 cdk46p1-cycD p21-cdk46p1-cycD)
	(= (need-for-association p21 cdk46p1-cycD p21-cdk46p1-cycD) 4)
	(= (need-for-association cdk46p1-cycD p21 p21-cdk46p1-cycD) 1)
	(= (prod-by-association p21 cdk46p1-cycD p21-cdk46p1-cycD) 3)
	(association-reaction p21 Gadd45 p21-Gadd45)
	(= (need-for-association p21 Gadd45 p21-Gadd45) 2)
	(= (need-for-association Gadd45 p21 p21-Gadd45) 2)
	(= (prod-by-association p21 Gadd45 p21-Gadd45) 2)
	(synthesis-reaction p53 c-Fos) 
	(= (need-for-synthesis p53 c-Fos) 1)
	(= (prod-by-synthesis p53 c-Fos) 1)
	(association-reaction p53 DP12 p53-DP12)
	(= (need-for-association p53 DP12 p53-DP12) 1)
	(= (need-for-association DP12 p53 p53-DP12) 4)
	(= (prod-by-association p53 DP12 p53-DP12) 4)
	(synthesis-reaction p53 Gadd45) 
	(= (need-for-synthesis p53 Gadd45) 3)
	(= (prod-by-synthesis p53 Gadd45) 2)
	(synthesis-reaction p53 Mdm2) 
	(= (need-for-synthesis p53 Mdm2) 2)
	(= (prod-by-synthesis p53 Mdm2) 1)
	(synthesis-reaction p53 p21) 
	(= (need-for-synthesis p53 p21) 2)
	(= (prod-by-synthesis p53 p21) 1)
	(association-reaction PCNA cycDp1 PCNA-cycDp1)
	(= (need-for-association PCNA cycDp1 PCNA-cycDp1) 4)
	(= (need-for-association cycDp1 PCNA PCNA-cycDp1) 2)
	(= (prod-by-association PCNA cycDp1 PCNA-cycDp1) 1)
	(association-reaction PCNA cycD PCNA-cycD)
	(= (need-for-association PCNA cycD PCNA-cycD) 1)
	(= (need-for-association cycD PCNA PCNA-cycD) 3)
	(= (prod-by-association PCNA cycD PCNA-cycD) 3)
	(association-reaction PCNA Gadd45 PCNA-Gadd45)
	(= (need-for-association PCNA Gadd45 PCNA-Gadd45) 3)
	(= (need-for-association Gadd45 PCNA PCNA-Gadd45) 2)
	(= (prod-by-association PCNA Gadd45 PCNA-Gadd45) 2)
	(association-reaction PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA)
	(= (need-for-association PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 1)
	(= (need-for-association cdk2-cycA PCNA-p21 PCNA-p21-cdk2-cycA) 4)
	(= (prod-by-association PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 2)
	(association-reaction PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1)
	(= (need-for-association PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 4)
	(= (need-for-association cdk2-cycEp1 PCNA-p21 PCNA-p21-cdk2-cycEp1) 4)
	(= (prod-by-association PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 1)
	(association-reaction PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE)
	(= (need-for-association PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 4)
	(= (need-for-association cdk2-cycE PCNA-p21 PCNA-p21-cdk2-cycE) 3)
	(= (prod-by-association PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 2)
	(association-reaction PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA)
	(= (need-for-association PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 2)
	(= (need-for-association cdk2p1-cycA PCNA-p21 PCNA-p21-cdk2p1-cycA) 4)
	(= (prod-by-association PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 2)
	(association-reaction PCNA-p21 cdk2p1-cycEp1 PCNA-p21-cdk2p1-cycEp1)
	(= (need-for-association PCNA-p21 cdk2p1-cycEp1 PCNA-p21-cdk2p1-cycEp1) 2)
	(= (need-for-association cdk2p1-cycEp1 PCNA-p21 PCNA-p21-cdk2p1-cycEp1) 4)
	(= (prod-by-association PCNA-p21 cdk2p1-cycEp1 PCNA-p21-cdk2p1-cycEp1) 1)
	(association-reaction PCNA-p21 cdk2p1-cycE PCNA-p21-cdk2p1-cycE)
	(= (need-for-association PCNA-p21 cdk2p1-cycE PCNA-p21-cdk2p1-cycE) 1)
	(= (need-for-association cdk2p1-cycE PCNA-p21 PCNA-p21-cdk2p1-cycE) 2)
	(= (prod-by-association PCNA-p21 cdk2p1-cycE PCNA-p21-cdk2p1-cycE) 3)
	(association-reaction PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1)
	(= (need-for-association PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 3)
	(= (need-for-association cdk46p1-cycDp1 PCNA-p21 PCNA-p21-cdk46p1-cycDp1) 2)
	(= (prod-by-association PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 4)
	(association-reaction PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD)
	(= (need-for-association PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 3)
	(= (need-for-association cdk46p1-cycD PCNA-p21 PCNA-p21-cdk46p1-cycD) 2)
	(= (prod-by-association PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 2)
	(association-reaction PCNA p21 PCNA-p21)
	(= (need-for-association PCNA p21 PCNA-p21) 3)
	(= (need-for-association p21 PCNA PCNA-p21) 2)
	(= (prod-by-association PCNA p21 PCNA-p21) 4)
	(association-reaction SP1 p107p1 SP1-p107p1)
	(= (need-for-association SP1 p107p1 SP1-p107p1) 1)
	(= (need-for-association p107p1 SP1 SP1-p107p1) 4)
	(= (prod-by-association SP1 p107p1 SP1-p107p1) 2)
	(association-reaction SP1 p107 SP1-p107)
	(= (need-for-association SP1 p107 SP1-p107) 2)
	(= (need-for-association p107 SP1 SP1-p107) 1)
	(= (prod-by-association SP1 p107 SP1-p107) 1)
	(= (num-subs) 0)
	(= (duration-association-reaction cdk1p1p2 cks1 cdk1p1p2-cks1) 1.1)
	(= (duration-association-reaction cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) 1.1)
	(= (duration-association-reaction cdk2 cks1 cdk2-cks1) 1.1)
	(= (duration-association-reaction cdk2 cycA cdk2-cycA) 1.1)
	(= (duration-association-reaction cdk2 cycE cdk2-cycE) 0.9)
	(= (duration-association-reaction cdk2 cycEp1 cdk2-cycEp1) 1.0)
	(= (duration-association-reaction cdk2p1 cks1 cdk2p1-cks1) 1.1)
	(= (duration-association-reaction cdk2p1 cycA cdk2p1-cycA) 1.0)
	(= (duration-association-reaction cdk2p1 cycE cdk2p1-cycE) 1.0)
	(= (duration-association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1) 1.1)
	(= (duration-association-reaction cdk46p1 cycD cdk46p1-cycD) 1.1)
	(= (duration-association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1) 1.0)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 c-Myc) 3.9)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycA) 3.7)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycD) 3.5)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycDp1) 4.1)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycE) 3.6)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycEp1) 4.6)
	(= (duration-association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2) 0.9)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p107) 3.9)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p107p1) 4.0)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p19ARF) 4.6)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 pol) 4.2)
	(= (duration-association-reaction E2F1 DP12 E2F1-DP12) 0.8)
	(= (duration-association-reaction E2F2 DP12 E2F2-DP12) 0.8)
	(= (duration-association-reaction E2F5 DP12 E2F5-DP12) 0.9)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 c-Myc) 4.4)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycA) 3.4)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycD) 3.5)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycDp1) 4.2)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycE) 3.2)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycEp1) 3.4)
	(= (duration-association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2) 1.0)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p107) 4.4)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p107p1) 4.5)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p19ARF) 3.6)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 pol) 3.8)
	(= (duration-association-reaction E2F6 DP12 E2F6-DP12) 0.9)
	(= (duration-association-reaction E2F6-DP12 gE2 E2F6-DP12-gE2) 1.1)
	(= (duration-association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 1.0)
	(= (duration-synthesis-reaction Jun-c-Fos-gERCC1 ERCC1) 3.6)
	(= (duration-association-reaction Jun-c-Fos gERCC1 Jun-c-Fos-gERCC1) 0.8)
	(= (duration-association-reaction Jun c-Fos Jun-c-Fos) 1.0)
	(= (duration-association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 1.1)
	(= (duration-association-reaction Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1) 1.0)
	(= (duration-association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 1.1)
	(= (duration-association-reaction p130 E2F5-DP12 p130-E2F5-DP12) 1.0)
	(= (duration-association-reaction p130-E2F5-DP12p1 gE2 p130-E2F5-DP12p1-gE2) 1.1)
	(= (duration-association-reaction p130 E2F5-DP12p1 p130-E2F5-DP12p1) 1.1)
	(= (duration-association-reaction p16 cdk46p1 p16-cdk46p1) 1.1)
	(= (duration-association-reaction p21 cdk2-cycA p21-cdk2-cycA) 1.1)
	(= (duration-association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1) 1.1)
	(= (duration-association-reaction p21 cdk2-cycE p21-cdk2-cycE) 0.9)
	(= (duration-association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA) 1.0)
	(= (duration-association-reaction p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1) 1.1)
	(= (duration-association-reaction p21 cdk2p1-cycE p21-cdk2p1-cycE) 1.1)
	(= (duration-association-reaction p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 0.9)
	(= (duration-association-reaction p21 cdk46p1-cycD p21-cdk46p1-cycD) 0.9)
	(= (duration-association-reaction p21 Gadd45 p21-Gadd45) 1.1)
	(= (duration-synthesis-reaction p53 c-Fos) 3.8)
	(= (duration-association-reaction p53 DP12 p53-DP12) 0.8)
	(= (duration-synthesis-reaction p53 Gadd45) 4.5)
	(= (duration-synthesis-reaction p53 Mdm2) 3.3)
	(= (duration-synthesis-reaction p53 p21) 3.3)
	(= (duration-association-reaction PCNA cycDp1 PCNA-cycDp1) 0.9)
	(= (duration-association-reaction PCNA cycD PCNA-cycD) 1.0)
	(= (duration-association-reaction PCNA Gadd45 PCNA-Gadd45) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 1.1)
	(= (duration-association-reaction PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 1.1)
	(= (duration-association-reaction PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk2p1-cycEp1 PCNA-p21-cdk2p1-cycEp1) 0.8)
	(= (duration-association-reaction PCNA-p21 cdk2p1-cycE PCNA-p21-cdk2p1-cycE) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 1.1)
	(= (duration-association-reaction PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 0.9)
	(= (duration-association-reaction PCNA p21 PCNA-p21) 0.9)
	(= (duration-association-reaction SP1 p107p1 SP1-p107p1) 1.1)
	(= (duration-association-reaction SP1 p107 SP1-p107) 0.9))

(:goal
	(and
	(preference p0A (>= (+ (available cycE) (available PCNA-p21-cdk2p1-cycEp1)) 7))
	(preference p0B (>= (+ (available SP1-p107) (available p21-cdk2p1-cycEp1)) 4))
	(preference p0C (>= (+ (available PCNA-p21-cdk2-cycE) (available cdk1p1p2-Gadd45)) 7))
	(preference p0D (>= (+ (available PCNA-p21) (available p130-E2F5-DP12p1-gE2)) 2))
	(preference p0E (>= (+ (available SP1-p107p1) (available PCNA-p21-cdk2p1-cycE)) 4))
	(preference p0F (>= (+ (available E2F5-DP12-gE2) (available c-Myc)) 3))))


(:constraints (and

	(preference p1A (sometime-before (> (available SP1-p107) 0) (> (available p107) 0)))
	(preference p1B (sometime-before (> (available cdk1p1p2-Gadd45) 0) (> (available Gadd45) 0)))
	(preference p1C (sometime-before (> (available PCNA-p21) 0) (> (available p21) 0)))

	(preference p1D (always (= (available cycE) 0)))

	(preference p1E (sometime (> (available cdk46p1-cycD) 0)))
	(preference p1F (sometime-after (> (available cdk46p1-cycD) 0) (> (available c-Fos) 0)))
	(preference p1G (sometime (> (available p21-cdk2p1-cycA) 0)))
	(preference p1H (sometime-after (> (available p21-cdk2p1-cycA) 0) (> (available p53-DP12) 0)))
	(preference p1I (sometime (> (available cdk46p1-cycDp1) 0)))
	(preference p1J (sometime-after (> (available cdk46p1-cycDp1) 0) (> (available PCNA-p21-cdk2p1-cycA) 0)))
	(preference p1K (sometime (> (available PCNA-cycD) 0)))
	(preference p1L (sometime-after (> (available PCNA-cycD) 0) (> (available cdk2-cycA) 0)))))

(:metric minimize (+ (* 3.1 (is-violated p0A))
		     (* 2.9 (is-violated p0B))
		     (* 2.9 (is-violated p0C))
		     (* 3.6 (is-violated p0D))
		     (* 3.4 (is-violated p0E))
		     (* 4.1 (is-violated p0F))
		     (* 1 (is-violated p1A))
		     (* 1 (is-violated p1B))
		     (* 1 (is-violated p1C))
		     (* 1 (is-violated p1D))
		     (* 1 (is-violated p1E))
		     (* 1 (is-violated p1F))
		     (* 1 (is-violated p1G))
		     (* 1 (is-violated p1H))
		     (* 1 (is-violated p1I))
		     (* 1 (is-violated p1J))
		     (* 1 (is-violated p1K))
		     (* 1 (is-violated p1L))
		     (* 0.10 (total-time))
		     (num-subs)))

)
